Think before you Act! Minimising Action Execution in Wrappers∗ Tim Furche, Giovanni Grasso, Christian Schallhart, Andrew Sellers Dep. of Computer Science, Oxford University Parks Road, Oxford OX1 3QD

Source URL: christian.schallhart.net

A New Design Technique for Weakly Indicating Function Blocks P. Balasubramanian, D.A. Edwards School of Computer Science, The University of Manchester, Oxford Road, Manchester Ml 3 9PL, United Kingdom. E-mail: (padmanab,

Source URL: apt.cs.manchester.ac.uk

The Even More Irresistible SROIQ Ian Horrocks and Oliver Kutz and Ulrike Sattler School of Computer Science, The University of Manchester Kilburn Building, Oxford Road, Manchester M13 9PL, UK {Horrocks, Kutz, Sattler}@cs

Source URL: www.cs.man.ac.uk

InKreSAT: Modal Reasoning via Incremental Reduction to SAT Mark Kaminski1 and Tobias Tebbi2 1 Department of Computer Science, University of Oxford, UK

Source URL: www.ps.uni-saarland.de

Wagging Logic: Implicit Parallelism Extraction Using Asynchronous Methodologies Charlie Brej School of Computer Science, The University of Manchester, Oxford Road, Manchester, M13 9PL, UK Email: Abstr

Source URL: apt.cs.manchester.ac.uk

Understanding image representations by measuring their equivariance and equivalence Karel Lenc1 , Andrea Vedaldi1 of Engineering Science, Oxford University. [1] G. Csurka, C. R. Dance, L. Dan, J. Willamowski, and C. Bray

Source URL: www.cv-foundation.org

Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems

Source URL: www0.cs.ucl.ac.uk

∗ Effective Web Scraping with OXPath Giovanni Grasso, Tim Furche, and Christian Schallhart Department of Computer Science, Oxford University, Wolfson Building, Parks Road, Oxford OX1 3QD

Source URL: www2013.wwwconference.org

• Computing
• Information science
• Data management
• World Wide Web
• Semantic Web
• Query languages
• Knowledge representation
• Functional languages
• XPath
• Web scraping
• XQuery
• Resource Description Framework

Categorical Logic A chapter in the forthcoming Volume VI of Handbook of Logic in Computer Science S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum (eds), Oxford University Press

Source URL: www.cl.cam.ac.uk

European Law Journal, Vol. 12, No. 4, July 2006, pp. 455–468. © 2006 The Author Journal compilation © 2006 Blackwell Publishing Ltd, 9600 Garsington Road, Oxford, OX4 2DQ, UK and 350 Main Street, Malden, MA 02148, US

Source URL: www.davidlazer.com

• Politics
• Political science
• Government
• Structure
• International relations
• Public policy
• International trade
• Global governance
• World government
• Regulatory competition
• Corporate governance
• Governance